Describing Reusable Problem - Solving Methods with aMethod
نویسنده
چکیده
To reuse a problem-solving method, a knowledge engineer must know the assumptions about the structure of the knowledge roles inherent to the method. We construct a method ontology in order to formalize these assumptions. This ontology deenes the roles played by the knowledge in the inference process, and serves as an interface for the knowledge engineer to evaluate if an application domain conforms to the structure of knowledge used by the method. In addition, we deene the inferences of the problem-solving method according to its method ontology. This deenition is declarative and abstracts from the implementation details. We illustrate our approach using the problem-solving method Propose&Revise.
منابع مشابه
Problem-solving Methods for Eecient Reasoning under Uncertainty
Parallel to the research e ort spend on the investigation of reusable components for building knowledge based systems amongst which problem-solving methods play a central role, researchers from the uncertain reasoning community have made signi cant progress in the development of powerful and e cient algorithms for uncertain reasoning based upon numerical representations of uncertainty. We argue...
متن کاملRemedying the Reusability { Usability Tradeoo for Problem-solving Methods
We expect reuse of parts of knowledge-based systems to become more and more important in the near future, as opposed to building systems from scratch every time. It is, however, well known that there exists a tradeoo between usability and reusability: the more components become reusable, the less usable they become. This is due to the fact that, in order to have a working system, a gap has to b...
متن کاملThe differential transform method for solving the model describing biological species living together
F. Shakeri and M. Dehghan in [13] presented the variational iteration method for solving the model describing biological species living together. Here we suggest the differential transform (DT) method for finding the numerical solution of this problem. To this end, we give some preliminary results of the DT and by proving some theorems, we show that the DT method can be easily applied to mentio...
متن کاملReusable Frameworks of Problem Solving
We motivate the use of Problem-Solving Methods (PSM) in order to realize reusable knowledge models. The notion of PSM is extended to Frameworks of Problem Solving (FPS), thus giving PSM a larger generality and enable specialization or update of PSM during system development. An example of a FPS in the context of a project dealing with model-based diagnosis illustrates the approach. Finally, we ...
متن کاملOntologies for Continuous Global Optimization
Global Optimization tackles the problem of finding all feasible points of a set of constraints that optimize an objective function. In the following, we restrict our attention to Continuous Global Optimization, and more specifically to Global Optimization over interval domains [6, 9]. We believe that Software Design for Continuous Global Optimization has things in common with Astronomy of Sixte...
متن کامل